Section: Partnerships and Cooperations

European Initiatives

• Program: PHC Amadeus

• Project acronym: RIDINGS

• Project title: Rigourous Development of GALS Systems

• Duration: January 2017 – December 2018

• Coordinator: Inria Grenoble – Rhône-Alpes / CONVECS

• Other partners: TU Graz, Institute of Software Technology (Austria)

• Abstract: GALS systems, composed of synchronous components (driven by local clocks) that communicate through a network, are increasingly spreading with the development of the IoT. GALS systems are intrinsically complex due to the interplay of synchronous and asynchronous aspects, which make their development and debugging difficult. Therefore, it is necessary to adopt rigorous design methodologies, based on formal methods assisted by efficient validation tools. The RIDINGS project aims at enhancing the design flow of a GALS system by integrating the automatic generation of conformance tests from the formal model and the temporal properties used for verifying the system. This yields a double benefit for the designer: (i) it makes possible to check that a physical implementation conforms to the verified model; (ii) the development cost of the model and properties is distributed on the verification and testing phases of the design process, therefore increasing the return on investment.

The CONVECS project-team is member of the FMICS (Formal Methods for Industrial Critical Systems) working group of ERCIM (http://fmics.inria.fr). H. Garavel and R. Mateescu are members of the FMICS board, H. Garavel being in charge of dissemination actions.